In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle and specified by a one-form, both of which satisfy a 'maximum non-degeneracy' condition called 'complete non-integrability'. From the Frobenius theorem, one recognizes the condition as the opposite of the condition that the distribution be determined by a codimension one foliation on the manifold ('complete integrability').
Contact geometry is in many ways an odd-dimensional counterpart of symplectic geometry, which belongs to the even-dimensional world. Both contact and symplectic geometry are motivated by the mathematical formalism of classical mechanics, where one can consider either the even-dimensional phase space of a mechanical system or the odd-dimensional extended phase space that includes the time variable.
Contents |
Contact geometry has — as does symplectic geometry — broad applications in physics, e.g. geometrical optics, classical mechanics, thermodynamics, geometric quantization, and applied mathematics such as control theory. One can prove amusing things, like 'You can always parallel-park your car, provided the space is big enough'. Contact geometry also has applications to low-dimensional topology; for example, it has been used by Kronheimer and Mrowka to prove the property P conjecture and by Gompf to derive a topological characterization of Stein manifolds.
Given an n-dimensional smooth manifold M, and a point p ∈ M, a contact element of M with contact point p is an (n − 1)-dimensional linear subspace of the tangent space to M at p.[1][2] A contact element can be given by the zeros of a 1-form on the tangent space to M at p. However, if a contact element is given by the zeros of a 1-form ω, then it will also be given by the zeros of λω where λ ≠ 0. Thus, { λω : λ ≠ 0 } all give the same contact element. It follows that the space of all contact elements of M can be identified with a quotient of the cotangent bundle PT*M,[1] where:
A contact structure on an odd dimensional manifold M, of dimension 2k+1, is a smooth distribution of contact elements, denoted by ξ, which is generic at each point.[1][2] The genericity condition is that ξ is non-integrable.
Assume that we have a smooth distribution of contact elements, ξ, given locally by a differential 1-form α; i.e. a smooth section of the cotangent bundle. The non-integrability condition can be given explicitly as:[1]
Notice that if ξ is given by the differential 1-form α, then the same distribution is given locally by β = ƒ⋅α, where ƒ is a non-zero smooth function. If ξ is co-orientable then α is defined globally.
It follows from the Frobenius theorem on integrability that the contact field ξ is completely nonintegrable. This property of the contact field is roughly the opposite of being a field formed by the tangent planes to a family of nonoverlapping hypersurfaces in M. In particular, you cannot find a piece of a hypersurface tangent to ξ on an open set of M. More precisely, a maximally integrable subbundle has dimension n.
A consequence of the definition is that the restriction of the 2-form ω = dα to a hyperplane in ξ is a nondegenerate 2-form. This construction provides any contact manifold M with a natural symplectic bundle of rank one smaller than the dimension of M. Note that a symplectic vector space is always even-dimensional, while contact manifolds need to be odd-dimensional.
The cotangent bundle T*N of any n-dimensional manifold N is itself a manifold (of dimension 2n) and supports naturally an exact symplectic structure ω = dλ. (This 1-form λ is sometimes called the Liouville form). There are several ways to construct an associated contact manifold, one of dimension 2n − 1, one of dimension 2n + 1.
-- called an `Euler' or `Liousville' vector field --transverse to the level set of H , and conformally symplectic, meaning that the Lie derivative of dλ with respect to Y is again dλ -at least in a neighborhood of this level set. Then the restriction of dλ(Y, *) to the level set is a contact form on the level set. This construction originates in Hamiltonian mechanics, where H is a Hamiltonian of a mechanical system with the configuration space N and the phase space T*N, and E is the value of the energy.
Then the level set H =1/2 is the unit cotangent bundle of N, a smooth manifold of dimension 2n-1 fibering over N with fibers being spheres. Then the Liouville form restricted to the unit cotangent bundle is a contact structure. This corresponds to a special case of the second construction, where the flow of the Euler vector field Y corresponds to linear scaling of momenta p's, leaving the q's fixed. The vector field R, defined by the equalities
Conversely, given any contact manifold M, the product M×R has a natural structure of a symplectic manifold. If α is a contact form on M, then
is a symplectic form on M×R, where t denotes the variable in the R-direction. This new manifold is called the symplectization (sometimes symplectification in the literature) of the contact manifold M.
As a prime example, consider R3, endowed with coordinates (x,y,z) and the one-form dz − y dx. The contact plane ξ at a point (x,y,z) is spanned by the vectors X1 = ∂y and X2 = ∂x + y ∂z.
By replacing the single variables x and y with the multivariables x1, ..., xn, y1, ..., yn, one can generalize this example to any R2n+1. By a theorem of Darboux, every contact structure on a manifold looks locally like this particular contact structure on the (2n + 1)-dimensional vector space.
An important class of contact manifolds is formed by Sasakian manifolds.
The most interesting subspaces of a contact manifold are its Legendrian submanifolds. The non-integrability of the contact hyperplane field on a (2n + 1)-dimensional manifold means that no 2n-dimensional submanifold has it as its tangent bundle, even locally. However, it is in general possible to find n-dimensional (embedded or immersed) submanifolds whose tangent spaces lie inside the contact field. Legendrian submanifolds are analogous to Lagrangian submanifolds of symplectic manifolds. There is a precise relation: the lift of a Legendrian submanifold in a symplectization of a contact manifold is a Lagrangian submanifold. The simplest example of Legendrian submanifolds are Legendrian knots inside a contact three-manifold. Inequivalent Legendrian knots may be equivalent as smooth knots.
Legendrian submanifolds are very rigid objects; in some situations, being Legendrian forces submanifolds to be unknotted. Symplectic field theory provides invariants of Legendrian submanifolds called relative contact homology that can sometimes distinguish distinct Legendrian submanifolds that are topologically identical.
If α is a contact form for a given contact structure, the Reeb vector field R can be defined as the unique element of the kernel of dα such that α(R) = 1. Its dynamics can be used to study the structure of the contact manifold or even the underlying manifold using techniques of Floer homology such as symplectic field theory and embedded contact homology.
The roots of contact geometry appear in work of Christiaan Huygens, Isaac Barrow and Isaac Newton. The theory of contact transformations (i.e. transformations preserving a contact structure) was developed by Sophus Lie, with the dual aims of studying differential equations (e.g. the Legendre transformation or canonical transformation) and describing the 'change of space element', familiar from projective duality.